metrization problem

度量化问题